Closed operator

In mathematics, specifically in functional analysis, closed linear operators are an important class of linear operators on Banach spaces. They are more general than bounded operators, and therefore not necessarily continuous, but they still retain nice enough properties that one can define the spectrum and (with certain assumptions) functional calculus for such operators. Many important linear operators which fail to be bounded turn out to be closed, such as the derivative and a large class of differential operators.

Let X,Y be two Banach spaces. A linear operator

A\colon\mathcal{D}(A)\subset X\to Y

is closed if for every sequence \{x_n\}_{n\in \mathbb{N}} in \mathcal{D}(A) converging to x\in X such that Ax_n\to y\in Y as n\to\infty one has x\in\mathcal{D}(A) and Ax = y. Equivalently, A is closed if its graph is closed in the direct sum X\oplus Y.

Given a linear operator A, not necessarily closed, if the closure of its graph in X\oplus Y happens to be the graph of some operator, that operator is called the closure of A, and we say that A is closable. Denote the closure of A by \overline{A}. It follows easily that A is the restriction of \overline{A} to \mathcal{D}(A).

A core of a closable operator is a subset \mathcal{C} of \mathcal{D}(A) such that the closure of the restriction of A to \mathcal{C} is \overline{A}.

Basic Properties

The following properties are easily checked:

Example

Consider the derivative operator

 A f = f'\,

where the Banach space X=Y is the space C[a, b] of all continuous functions on an interval [a, b]. If one takes its domain \mathcal{D}(A) to be \mathcal{D}(A)=C^{1}[a, b], then A is a closed operator, which is not bounded. (Note that one could also set \mathcal{D}(A) to be the set of all differentiable functions including those with non-continuous derivative. That operator is not closed!)

If one takes \mathcal{D}(A) to be instead the set of all infinitely differentiable functions, A will no longer be closed, but it will be closable, with the closure being its extension defined on C^{1}[a, b].

See also densely defined operator and unbounded operator.

This article incorporates material from Closed operator on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.